Buy Used and New Anna Philippou Books

Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European ... Computer Science and General Issues)

by

ISBN 13: 9783642007675

Format: Paperback (456 pages)
Publisher: Springer
Published: 09 Mar 2009

Save for later

FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings: 9995 (Lecture Notes in Computer Science)

by John Fitzgerald,Constance Heitmeyer,Stefania Gnesi,Anna Philippou

ISBN 13: 9783319489889

Format: Paperback (816 pages)
Publisher: Springer
Published: 08 Nov 2016

Save for later